Jacobson's 'Higher Ground.'

The Ground State of Bottomium to Two Loops and Higher*

We consider the properties of the ground state of bottomium. The Υ mass is evaluated to two loops, and including leading higher order [O(α 5 s log αs)] and m 2 c /m 2 b corrections. This allows us to present updated values for the pole mass and M S mass of the b quark: m b = 5022 ± 58 MeV, for the pole mass, and ¯ m b (¯ m b) = 4286 ± 36 MeV for the M S one. The value for the MS mass is accurat...

Higher Ground: Ethics and Leadership in the Modern University

Iris from the ground up A modular foundation for higher-order concurrent separation logic

Iris is a framework for higher-order concurrent separation logic, which has been implemented in the Coq proof assistant and deployed very effectively in a wide variety of verification projects. Iris was designed with the express goal of simplifying and consolidating the foundations of modern separation logics, but it has evolved over time, and the design and semantic foundations of Iris itself ...

N Fermion Ground State of Calogero-Sutherland type Models in Two and Higher Dimensions

I obtain the exact ground state of N-fermions in D-dimensions (D ≥ 2) in case the N particles are interacting via long-ranged two-body and three-body interactions and further they are also interacting via the harmonic oscillator potential. I also obtain the N-fermion ground state in case the oscillator potential is replaced by an N-body Coulomb-like interaction.

On Higher Ground: How Well Can Dynamic Body Acceleration Determine Speed in Variable Terrain?

INTRODUCTION Animal travel speed is an ecologically significant parameter, with implications for the study of energetics and animal behaviour. It is also necessary for the calculation of animal paths by dead-reckoning. Dead-reckoning uses heading and speed to calculate an animal's path through its environment on a fine scale. It is often used in aquatic environments, where transmission telemetr...